Search results for "Technical Report"

showing 6 items of 6 documents

Critical Evaluation of the Chemical Properties of the Transactinoid Elements (IUPAC Technical Report)

2003

Polymer scienceChemistryChemical nomenclatureTechnical reportGeneral MedicineChemInform
researchProduct

Using Wavelet Techniques to Approximate the Subjacent Risk of Death

2018

In Actuarial science, graduation techniques have been used extensively: the large number of scientific papers and technical documentation published evidences this fact (see Ayuso M et al. (Estadistica Actuarial Vida. UBe, Barcelona (2007)), Baeza Sampere and Morillas Jurado (Rev. Anales del Instituto de Actuarios Espanoles 135–164 (2011)), London (Graduation: The Revision of Estimates. ACTEX Publications, Connecticut (1985)), Cairns, et al. (Scand Actuar J 2(3):79–113 (2008)) and the references therein). Graduation techniques are defined by Haberman and Renshaw J Inst Actuar 110:135–156 (1983) as a set of principles and techniques for use that are used on raw data so that a more appropriate…

EstimationActuarial scienceWaveletbusiness.industryComputer scienceTechnical reportContext (language use)businessRaw dataTechnical documentationExpected lossRisk management
researchProduct

Formations of Monoids, Congruences, and Formal Languages

2015

The main goal in this paper is to use a dual equivalence in automata theory started in [25] and developed in [3] to prove a general version of the Eilenberg-type theorem presented in [4]. Our principal results confirm the existence of a bijective correspondence between three concepts; formations of monoids, formations of languages and formations of congruences. The result does not require finiteness on monoids, nor regularity on languages nor finite index conditions on congruences. We relate our work to other results in the field and we include applications to non-r-disjunctive languages, Reiterman s equational description of pseudovarieties and varieties of monoids.

Pure mathematicsGeneral Computer ScienceApplied MathematicsData ScienceCWI Technical Report reportFormationsLlenguatges de programacióAbstract family of languagesCongruence relationlcsh:QA75.5-76.95Formal languagesMathematics::Category TheoryFormal languageComputingMethodologies_DOCUMENTANDTEXTPROCESSINGBijectionAutomata theorylcsh:Electronic computers. Computer scienceÀlgebraEquivalence (formal languages)SemigroupsMATEMATICA APLICADAAlgorithmAutomata theoryMathematicsScientific Annals of Computer Science
researchProduct

Simple computation of the approximated modulation transfer function (MTF) using spreadsheet-software: method and evaluation in five maxillofacial CBC…

2019

OBJECTIVES: To develop a simple way to compute the approximated modulation transfer function (MTF) manually using conventional spreadsheet software. METHODS: Basing on an edge-image a method was developed, facilitating computation of the edge spread and line spread function in open-source spreadsheet software (Gnumeric; http://projects.gnome.org/gnumeric/downloads.shtml). By means of the integrated fast Fourier transformation Fourier coefficients are obtained from the line spread function which can then be plotted vs spatial frequency to obtain MTF-plots. For the experimental evaluation an edge test object was exposed in five commercial CBCT devices for maxillofacial applications. RESULTS: …

Computer science030218 nuclear medicine & medical imaging03 medical and health sciencessymbols.namesake0302 clinical medicineTechnical ReportSimple (abstract algebra)Optical transfer functionRadiography DentalHumansRadiology Nuclear Medicine and imagingGeneral DentistryDigital signal processingSimple computationbusiness.industrySpreadsheet softwarePhantoms ImagingComputer Science::Software EngineeringReproducibility of Results030206 dentistryGeneral MedicineSpiral Cone-Beam Computed TomographyRadiographic Image EnhancementFourier transformOtorhinolaryngologysymbolsbusinessAlgorithmSoftware
researchProduct

Cannabinoid control of brain bioenergetics: Exploring the subcellular localization of the CB1 receptor

2014

Brain mitochondrial activity is centrally involved in the central control of energy balance. When studying mitochondrial functions in the brain, however, discrepant results might be obtained, depending on the experimental approaches. For instance, immunostaining experiments and biochemical isolation of organelles expose investigators to risks of false positive and/or false negative results. As an example, the functional presence of cannabinoid type 1 (CB1) receptors on brain mitochondrial membranes (mtCB1) was recently reported and rapidly challenged, claiming that the original observation was likely due to artifact results. Here, we addressed this issue by directly comparing the procedures…

CB1 receptorWIN WIN55212-2Cannabinoid receptorBrain bioenergeticsLactate dehydrogenase Amedicine.medical_treatmentSDHADMSO dimethyl sulfoxideMitochondrionBiologySlp2 stomatin-like protein 2SDHA succinate dehydrogenase aTechnical ReportmedicineantibodieseducationReceptorKO knock-outMolecular Biologyeducation.field_of_studyelectron microscopyLDHa lactate dehydrogenase aDAB–Ni Ni-intensified 33ʹ-diaminobenzidine–4HClCell BiologySubcellular localizationWT wild-typemitochondriaBiochemistryCB1 cannabinoid type 1 receptorBSA bovine serum albuminCannabinoidorganelle purificationNeuroscienceImmunostainingMolecular Metabolism
researchProduct

On the use of information systems research methods in data mining

2006

Information systems are powerful instruments for organizational problem solving through formal information processing (Lyytinen, 1987). Data mining (DM) and knowledge discovery are intelligent tools that help to accumulate and process data and make use of it (Fayyad, 1996). Data mining bridges many technical areas, including databases, statistics, machine learning, and human-computer interaction. The set of data mining processes used to extract and verify patterns in data is the core of the knowledge discovery process. Numerous data mining techniques have recently been developed to extract knowledge from large databases. The area of data mining is historically more related to AI (Artificial…

Knowledge extractionComputer scienceProcess (engineering)Pattern recognition (psychology)Information systemProbabilistic logicTechnical reportInformation processingData miningcomputer.software_genrecomputerField (computer science)
researchProduct